Inconsistency handling in multiperspective specifications
نویسندگان
چکیده
منابع مشابه
Inconsistency Handling in Multperspective Specifications
AbstructThe development of most large and complex systems necessarily involves many people+ach with their own perspectives on the system defined by their knowledge, responsibilities, and commitments. To address this we have advocated distributed development of specifications from multiple perspectives. However, this leads to problems of identifying and handling inconsistencies between such pers...
متن کاملInconsistency Handling in Multi-Perspective Specifications
The development of most large and complex systems necessarily involves many people each with their own perspectives on the system defined by their knowledge, responsibilities, and commitments. To address this we have advocated distributed development of specifications from multiple perspectives. However, this leads to problems of identifying and handling inconsistencies between such perspective...
متن کاملAutomated Consistency Checking for Multiperspective Software Specifications
Multiperspectives naturally arise out of co-operative work in applying appropriate technologies to construct different parts of an application. The representation styles of various perspectives can be highly heterogeneous and open-ended since those perspectives should be presented in a form appropriate to each participant in the software development process. This makes it difficult to provide c...
متن کاملMeasuring Inconsistency in Requirements Specifications
In the field of requirements engineering, measuring inconsistency is crucial to effective inconsistency management. A practical measure must consider both the degree and significance of inconsistency in specification. The main contribution of this paper is providing an approach for measuring inconsistent specification in terms of the prioritybased scoring vector, which integrates the measure of...
متن کاملHandling Inconsistency in Knowledge Bases
Real-world automated reasoning systems, based on classical logic, face logically inconsistent information, and they must cope with it. It is onerous to develop such systems because classical logic is explosive. Recently, progress has been made towards semantics that deal with logical inconsistency. However, such semantics was never analyzed in the aspect of inconsistency tolerant relational mod...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 1994
ISSN: 0098-5589
DOI: 10.1109/32.310667